From 113c88c2cf440ea3ac0e4c325685452494d11ec8 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Mon, 2 Nov 2015 12:47:14 -0500 Subject: [PATCH] HighContrast: Update magnifier styling Adapt to changes in the previous commit. --- gtk/theme/HighContrast/_common.scss | 1 + gtk/theme/HighContrast/gtk.css | 10 +++++----- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss index 44a9e2e1d6..12c4512f9e 100644 --- a/gtk/theme/HighContrast/_common.scss +++ b/gtk/theme/HighContrast/_common.scss @@ -1207,6 +1207,7 @@ popover { text-shadow: none; transition: none; } + &.magnifier, &.osd { // Also used for touch cutnpaste overlays // FIXME Doesn't work background-image: none; diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css index cb7f7161e0..26c21bc31f 100644 --- a/gtk/theme/HighContrast/gtk.css +++ b/gtk/theme/HighContrast/gtk.css @@ -1378,12 +1378,12 @@ popover { color: #000; text-shadow: none; transition: none; } - popover.osd { + popover.magnifier, popover.osd { background-image: none; background-color: rgba(0, 0, 0, 0.8); border: 1px solid gray; color: #fff; } - popover.osd button { + popover.magnifier button, popover.osd button { color: white; text-shadow: none; border-width: 2px; @@ -1393,21 +1393,21 @@ popover { background-color: rgba(0, 0, 0, 0.8); border-color: rgba(255, 255, 255, 0.2); box-shadow: none; } - popover.osd button:hover { + popover.magnifier button:hover, popover.osd button:hover { border-width: 2px; border-style: solid; color: #fff; background-color: rgba(77, 77, 77, 0.8); border-color: rgba(255, 255, 255, 0.2); box-shadow: none; } - popover.osd button:active { + popover.magnifier button:active, popover.osd button:active { border-width: 2px; border-style: solid; color: rgba(0, 0, 0, 0.8); background-color: #fff; border-color: rgba(255, 255, 255, 0.2); box-shadow: none; } - popover.osd button:insensitive { + popover.magnifier button:insensitive, popover.osd button:insensitive { border-width: 2px; border-style: solid; border-color: rgba(255, 255, 255, 0.2); -- 2.30.2